Classifying regular events in symbolic logic
نویسندگان
چکیده
منابع مشابه
Classifying ω-Regular Partitions
We try to develop a theory of ω-regular partitions in parallel with the theory around the Wagner hierarchy of regular ω-languages. In particular, we generalize a theorem of L. Staiger and K. Wagner to the case of partitions, prove decidability of all levels of the Boolean hierarchy of regular partitions over open sets, establish coincidence of reducibilities by continuous functions and by funct...
متن کاملSymbolic Test Generation Using a Temporal Logic with Constrained Events
1. TLCE A Temporal Logic with Constrained Events a) temporal relationships among input and output (I/O) events b) data dependencies between event parameters 2. TLCE-based symbolic test generation algorithm 3. Case Study: Conference Protocol 4. Case Study: Cache Coherence Protocol
متن کاملNeural networks classifying symbolic data
A very successful approach in machine learning are neural networks. They learn an unknown regularity between real vector spaces, given a finite set of examples. Hence they can be applied in different areas such as signal processing, speech recognition, or time series prediction, to name just a few. Furthermore, a mathematical foundation, more precisely, their universal approximation ability, th...
متن کاملEvents from temporal logic to regular languages with branching
Events in natural language semantics, conceived as strings of observations, are extracted from formulas of linear temporal logic, and collected in regular languages. Infinite strings of sets of atomic formulas (fully specifying truth) are truncated and partialized, in line with the bounded temporal extent and descriptive content of events. Branching from that line, counterfactual events are ana...
متن کاملSymbolic logic
The roots of symbolic logic can be traced as far back as to the study of syllogisms by Aristotle. However, it was not until the second half of the nineteenth century that its modern form began crystallizing, whereas solid foundations had to wait until the second decade of the twentieth century. Symbolic logic is concerned with the validity of arguments, for whose study it abstracts away from co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 1982
ISSN: 0022-0000
DOI: 10.1016/0022-0000(82)90016-2